Refactor integer/bigint constants optimization using Zarith

[cometkim]

Zarith is OCaml library that supports arbitrary-precision integer operations

It allows the compiler to handle bigint constants and clean them up to use the same logic as int32.

Also, need to confirm the playground is working using Zarith_stubs_js.

Related PRs:

• Upgrade exponentiation to unified operator #7153
• improve bigint comparison #7029