Linear: stronger checker
Linear: stronger checker

Validate that export functions that don’t use the stack
(directly or indirectly) require a stack alignment of U8
(i.e., no specific alignment constraint).

jasmin-lang/jasmin,jasmin-lang/jasmin,jasmin-lang/jasmin