SCORU: WASM: Tickify module initialization

Eval.init from the WebAssembly reference interpreter needs to be tickify. It has a significant time complexity cost and must be broken up.

!5552 (merged) introduces lazy vectors instead of list for the module fields, which are then converted into list in init, then back to lazy vectors. Tickification can remove these conversions roundtrip by directly going from lazy vector to lazy vector, and evaluate the fields as small steps.

Remaining:

• Remove all uses of to_list/concat/of_list from Eval.init