No trimming of split constraints when printed

[PetarMax]

This PR disables the trimming of split constraints when showing a KCFG.

The reason for this is as follows:

• the constraints guide the debugging of Kontrol proofs in many cases, and it is likely that they will serve a similar purpose for other semantics;
• if --no-minimize is turned on, which disables the trimming, the KCFG will also contain all of the substitutions printed explicitly, which are very large and hinder navigation through the KCFG considerably.