altos/stm: Fix stack validation code