reorder where canonicalisation functions are emitted

This moves the canonicalisation functions earlier because this is now also where
schedule reading and writing functions are emitted. We will soon need to call
these from within startstates, rules, etc. if the input model prints scalarset
values.

Github: related to #194 "clearer CEX output with scalarsets"