In era-tacit.js, added `assert`.
In era-tacit.js, renamed some variables so that we use "bytecode" as an uncountable noun.