wip to let ET do some assertion checking on et32 VM and fixed todos