Generate more fixed_nonallocatable constraints, and add debug assertions#5132

Merged

elliottt merged 2 commits intobytecodealliance:mainfrom elliottt:trevor/ssa-assertions

Nov 28, 2022

+38-11

Commits on Nov 19, 2022