“If an input’s value is greater than the desired payment amount, that is not a problem; transactions allow multiple recipients, so the owner can send a portion of the input’s value back to one of their own addresses as change.”