Delete redundancy

[roynalnaruto]

Delete redundancy from code base:

• The disable_proof_aggregation feature is no longer useful as the zstd-decoder itself is quite expensive. We can instead refactor the Batch Circuit in the future to rethink and allow cheap/fast tests
• Since Curie hardfork has been finalised, we no longer need logic to:
  • Differentiate pre/post Curie
  • Identify Curie's fork block

[lispc]

i am not very confident the CI will pass. If i wrote some tests related to the fork check logic (i dont' know now, too long ago), it may break. Anyway, if ci passes, it can be merged.