Fixed transact conflict detection

Transact now uses the same new logic as non-transact, to detect
conflicts across cycles, and stop reactions after 10000 applications in
one cycle.
Better BooleanView

Added defaults for some options.