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 !757 with glen/big_op-TCOr-Affine in 2 minutes and 29 seconds (queued for 6 seconds)
detached
Status Name Job ID Coverage
  Build
canceled build-coq.8.12.2 #160265
fp

00:02:28

canceled build-coq.8.14.1-mr #160264
fp

00:02:29