Make verifier library and program `no_std`

[samkim-crypto]

Currently the solana-secp256k1-recover crate does not support no_std, but once anza-xyz/solana-sdk#788 is merged and published, we can bump the version and make the two crates in the repository no_std to prevent binary bloat.