Gas tweaks for mainnet release

[jmcardon]

• Gas Adjustments to pow, shift, sort
• Gas Adjustments to typechecking.
• Changed Gas to SatWord for safer gas charging

PR checklist:

• [x] Test coverage for the proposed changes
• [x] PR description contains example output from repl interaction or a snippet from unit test output
• [x] (If Relevant) Documentation has been (manually) updated at https://docs.kadena.io/pact

Additionally, please justify why you should or should not do the following:

• [x] Benchmark regressions We're actually faster

benchmarking Pact Core Benchmarks/Pure Code/Factorial 1000
time                 157.5 μs   (157.3 μs .. 157.9 μs)
                     1.000 R²   (1.000 R² .. 1.000 R²)
mean                 157.8 μs   (157.5 μs .. 158.2 μs)
std dev              1.039 μs   (660.0 ns .. 1.557 μs)

benchmarking Pact Core Benchmarks/Pure Code/Let 100
time                 23.25 μs   (22.87 μs .. 23.69 μs)
                     0.995 R²   (0.986 R² .. 0.999 R²)
mean                 23.53 μs   (22.92 μs .. 25.19 μs)
std dev              2.173 μs   (532.9 ns .. 4.068 μs)
variance introduced by outliers: 80% (severely inflated)

benchmarking Pact Core Benchmarks/Pure Code/Let 1000
time                 241.5 μs   (238.9 μs .. 244.2 μs)
                     0.999 R²   (0.999 R² .. 1.000 R²)
mean                 242.5 μs   (240.2 μs .. 244.7 μs)
std dev              4.845 μs   (3.723 μs .. 6.369 μs)
variance introduced by outliers: 10% (moderately inflated)

• [x] Confirm replay/back compat (Ignore until core release)
• [x] (For Kadena engineers) Run integration-tests against a Chainweb built with this version of Pact (Ignore until core release)