adden hideproof option to hide proof environments