Integration test & benchmark automation

[CeciliaZ030]

Description

Automated integration tests:

• [ ] refactored into circuit_utils and taiko_utils which contains functions that deals with Anchor and txlist
• [ ] separate L1 and L2 rpc, add more macros that test input builder, circuit, and public data (declare_l1_tests!, declare_l1_tests!)
• [ ] Comparison
  • fixed columns in MockProver test, compare vk's fields as well as overall hashed value in real test
  • used HashMap block_num -> block, vk, fixed to ensure the circuit remains invariant for new blocks
• [ ] Benchmark
  • display CircuitCost from halo2 which contains parameters like #columns and #queries
  • print degree information from ConstraintBuilder
  • display #commitment & #evaluation in a table
• [ ] Integrate with Grafana dashboard @krzysztofpaliga