[LightClient] Switch from SNARKed Schnorr to BLS precompile

[alxiong]

Currently, we use Schnorr signatures over BN curve for light client state attestation. The rationale is explained in https://www.notion.so/espressosys/Espresso-ZK-Light-Client-65f34074049048dd882eac0ad7aa1fcd

But with upcoming EIP-2537 on BLS precompile scheduled to be released in March 2025, we should consider switching back to directly verifying BLS12-381 QC on the contract instead.

cc @mrain @philippecamacho @elliedavidson @jbearer