Chai Testing for Check-Writing