Downgrade Assert.check to VM assert to only waste cycles when assertions are enabled.
Downgrade Assert.check to VM assert to only
waste cycles when assertions are enabled.

[Refactor][TLC]

tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus