Turn-off specialization for non-release mode tests

[aijony]

A specialized procedure should have the same input and output as its non-specialized counter-part, so it would make sense to have a flag to run tests without specialization. Perhaps even do so on the development 0 CI for coalton-library.