Jason Gross comments on Please Measure Verification Burden