Test that the real merge algorithm matches the prototype

There is currently no established correspondence between the `ScheduledMerges` prototype and `MergeSchedule` implementation. Preferably, we should trace enough information in both the prototype and implementation to check that the tree progression matches up.

Some aspects to check would be that the prototype and implementation:
* Have the same tree structure
* Have the same number of total supplied credits per level
* Have the same number of spent credits per level