Update the test suite for the introduction of --proof
Update the test suite for the introduction of --proof
eigengrau/hlint,gibiansky/hlint,ndmitchell/hlint,bitemyapp/hlint,ndmitchell/hlint,mpickering/hlint