Add assertion when QED is meant to be used but the code is not compiled with QED?

[EZoni]

Issue raised by @WeiqunZhang on Slack, while doing some debugging with @aeriforme and myself:

Should we have some assertion for the case QED is meant to be used but the code is not compiled with QED?

@lucafedeli88
What do you think? Ideas on how to do this properly without adding many assertions "by hand" in different parts of the code?

[ax3l]

Yes, we should have asserts for this.

@aeriforme did you find a case that gives a non-clean user-facing error if QED is used?
Should be at least an unused parameter warning, but we can also add more (explicitly error out if found in input and not compiled in).