write down proof that the error bounding code in fmprb_mul does not overflow
Merge remote-tracking branch 'github/master'