Check that reduction is consistent with Haskell implementation

[chfin]

The rules for different types of ornaments have been modified in the Haskell implementation. Make sure that the validator and the ornament type suggestions implement the same rules. The same goes for note spreads.

• split regular
• split passing
• spread