Since correctness depends on seed values (e.g. #14), fuzz testing and the ability to control seed values will be beneficial.