bn/bn_mont.c: improve readability of post-condition code.