Add check_positive_money correctness function

[nicolad]

Adds the check_positive_money helper to crates/model/src/types/money.rs and wires it into validate_instrument_common so max_notional / min_notional must be > 0.
Includes focused unit tests covering positive, zero, and negative values to guard correctness.