Driving of user-defined verification components: host services, the
runtime that stages inputs and fires hooks around each event, and
loading of component libraries.
Helper functions for wide (>128-bit) arithmetic operations.
Called from JIT-compiled code via call_indirect.
All data is stored as little-endian u64 chunks.
Stack size for threads that walk user-design IR (conv over nested
statements, the AOT-C expression emitter): the recursion depth is bounded
by design nesting, but a deep decoder chain exceeds the 2 MiB
spawned-thread default under debug frame sizes. Reserved virtual memory
only — untouched pages are never committed.