Another update - I've removed four op codes (ADD_VAL, SUB_VAL, MUL_VAL and DIV_VAL) so that the only op code that requires a 64 bit value is SET_VAL.
With this change, would it still be wise to initialize data pages as 0? Cause then you may have to SET a lot of VALs through the code pages first.
EDIT: I was just talking about which accounts an AT could send transactions
from, definitely makes sense to restrict that. Hadn't thought about the "to" part either.