Some cleanup; linked TestHelpers.fs into modelchecking test project instead of adding a copy of the file