I realized that the Bitcoin message verification requires extracting the public key from the signature, which Erlang's crypto module doesn't support. So I made one myself, it's a message verifier that verifies the signatures signed by the official Bitcoin-Qt client (implemented in Erlang). It can be found here:

https://github.com/ningzhang/bitcoin-message-verifier

Pleasure.