Verify HTLC spending conditions for a single input.
The Proof to check.
Optional logger (default: NULL_LOGGER)
Optional
Optional. The message to sign (for SIG_ALL)
True if spending conditions are satisfied, false otherwise.
If verification is impossible.
Verify HTLC spending conditions for a single input.