qunit used for tests
fixes bisimulation incorrectly using minimal fixed-point
Merge branch 'integrate-qunit'