Misc: bug fixes, additional WASM operations, and support heuristic profiling

[butterunderflow]

• Add heuristics profiling, profile reporting, and a profile analyzer script.
• Fix call_indirect function table indexing.
• Fix profile file dumping.
• Fix WAT load parsing.
• Fix combined Z3 model construction and symbolic name handling.
• Throw runtime errors for stack underflow instead of relying only on assert.
• Add soft assertion support.
• Add internal allocation/free tracking and allocated-range memory checks.
• Add support for additional concrete and symbolic WASM memory load/store operations.
• Add support for additional floating-point operations, including abs and f32.trunc_to_i32.

sbt "testOnly genwasym.TestStagedConcolicEval"
sbt "testOnly genwasym.TestBenchmark"