Wrapping up 007 gas
This MR finalizes gas for 007:
- prettified gas constants (arbitrary, manual rounding + removing useless auto-generated
let
bindings) - basic unit test for cost functions (testing strict positivity)
- important change per-manager operation cost from 10_000 to 1_000