check that: - [x] given a marking and a sequence of firings, check that the resulting marking is as expected (https://github.com/statebox/purescript-studio/blob/7e2236b1a029b2c48d10e919ea886816f22670f4/stbx-protocol/src/Statebox/Protocol/Fire.purs#L30) - [x] given a wiring tree, check that the linearization into glued transitions is correct (https://github.com/statebox/purescript-studio/blob/7e2236b1a029b2c48d10e919ea886816f22670f4/stbx-core/src/Statebox/Core/WiringTree.purs#L29) - [x] given an `ArrayMultiset a` we convert it correctly to an `Array (PlaceMarking a Int)` (https://github.com/statebox/purescript-studio/blob/7e2236b1a029b2c48d10e919ea886816f22670f4/stbx-core/src/Statebox/Core/Transition.purs#L31)