Upgradeable batch proof method id lists in light client circuit

[eyusufatik]

#1566 (comment)

batch proof method id —> will open issue about how this is going to be updated

• We define a new type of LightClientProofNamespace transaction, that tells the light client circuit that there is now a new batch proof method id that can be used.
• We modify light client vars so that the batch proof method ids are stored in an array of (height, method id), just like global FORKS vector.
• In the light client circuit, we check for the new type of txs defined in step 1, if they come from a new pubkey constant (can call this METHOD_ID_UPGRADE_AUTHORITY) we update the light client state defined in step 2.