Test

Test canonization exhaustively to avoid regressions #118

Job	Run time
Bench	4m 4s
Check (ubuntu-latest, --no-default-features)	1m 36s
Check (macos-latest)	2m 15s
Check (ubuntu-latest)	1m 40s
Clippy	2m 21s
Check (windows-latest)	3m 13s
Check (windows-latest, --no-default-features)	3m 23s
Check (macos-latest, --no-default-features)	1m 45s
Check (ubuntu-latest, --features optim-mip)	5m 21s
Check (ubuntu-latest, --features optim-sat)	2m 13s
	27m 51s

Provide feedback