big_op: weaken all Absorbing conditions using TCOr and Affine

For all big_op lemmas which had an `Absorbing` condition, the condition
has now become an alternative between `Affine` and `Absorbing`. Thus the
lemmas are made more general. This is spreading the use of the `TCOr
(Affine _) (Absorbing _)` pattern.
2 jobs for !1 with glen/big_op-TCOr-Affine in 18 minutes and 15 seconds (queued for 7 seconds)
latest detached
Status Name Job ID Coverage
  Build
failed build-coq.8.12.2 #160261
fp

00:13:21

passed build-coq.8.14.1-mr #160260
fp

00:18:15

 
Name Stage Failure
failed
build-coq.8.12.2 Build
make[2]: Target 'real-all' not remade because of errors.
make[1]: *** [Makefile.coq:339: all] Error 2
make: *** [Makefile:3: all] Error 2

real 2m44.131s
user 9m22.994s
sys 0m37.197s
Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1