Fix genCloseTx head value mismatch in close property tests
genStOpen inflates the head UTxO by u0Value but leaves headAdaOverhead in the open datum unchanged. genCloseTx now adjusts the head UTxO value to headAdaOverhead + confirmedUTxOValue + decommitValue before building the close tx, so closeTx computes the correct headAdaOverhead' for the closed datum (fixes H65). forAllClose was discarding the adjusted UTxO returned by genCloseTx and recomputing it from the original inflated OpenState, causing the evaluator to see a different input value than what the tx was built against (fixes H4/HeadValueIsNotPreserved). Signed-off-by: Sasha Bogicevic <[email protected]>