Fix tests; regenerate spectest
WIP
WIP (remove interpreter mode and remove/rename some other attributes)