Keeping it Real: Engineering Decisions to get Verify to 1.0