Fixes boundary checking issue in "RevertableSynopsisProducer" and hooked
up a unit test for it.