There was a mismatch and typo on the proving methods.
Correct it so:
- spend proving refers to spend instead of transaction
- reserve proving refers to reserve instead of transaction
And a typo s/as a disposable reserve/has a disposable reserve/ on check_reserve_proof
description.