015_cashtill: Updated invariant to improve chances of passing verification.  Still doesn't though.