Finish migration from bussproofs => proof.sty

bussproofs doesn't support more than 5 hypotheses, which is
unacceptable.