Delete minus1Trunc.v, close #434

Note: `repeat rewrite O_rectnd_beta` is the same as `rewrite ?O_rectnd_beta` (though possibly a bit less efficient?), and `progress repeat rewrite O_rectnd_beta` is the same as `rewrite !O_rectnd_beta`.