Bugfix: boolean opcodes were wrong

The boolean opcodes have been generated extacly in the opposite order of
their meaning.
Rudimentary unit tests

A few rudimentary unit tests have been added; these use stefil. They
live in their own system, so that they don't polute the production
environment.