👷 Improve the release CI by including differential testing

[qd-qd]

This repository includes a command that tests the current implementation against a reference one. However, this command is not included in any CI workflow because it is very consuming as it involves sagemath.

Include a mandatory step in the release CI workflow that runs the differential test. This step must install all the sagemath dependencies.

I expect the release workflow to be at least 7 minutes longer with this additional step, but I believe the security is worth the waiting. Feel free by the implementation I did here.