Add experimental SLOTHY-optimized NTT #1010

Job	Run time
CBMC (macos-latest)	53m 44s
Linting (ubuntu-latest)	41s
Functional tests (MacOS)	35m 37s
Functional tests (ubuntu-latest (aarch64))	1m 39s
Functional tests (ubuntu-latest (x86_64, cross))	6m 17s
Functional tests (ubuntu-latest (x86_64, native))	1m 18s
AMD EPYC 4th gen (t3a) / Start AMD EPYC 4th gen (t3a) (t3a.small)	1m 5s
Intel Xeon 4th gen (t3) / Start Intel Xeon 4th gen (t3) (t3.small)	1m 1s
Intel Xeon 4th gen (t3) / Linting Intel Xeon 4th gen (t3)	1m 29s
Intel Xeon 4th gen (t3) / Functional tests Intel Xeon 4th gen (t3)	1m 47s
Intel Xeon 4th gen (t3) / CBMC ${{ inputs.name }}	0s
AMD EPYC 4th gen (t3a) / Functional tests AMD EPYC 4th gen (t3a)	2m 33s
AMD EPYC 4th gen (t3a) / Linting AMD EPYC 4th gen (t3a)	43s
AMD EPYC 4th gen (t3a) / CBMC ${{ inputs.name }}	0s
Intel Xeon 4th gen (t3) / Stop Intel Xeon 4th gen (t3) (t3.small)	3s
AMD EPYC 4th gen (t3a) / Stop AMD EPYC 4th gen (t3a) (t3a.small)	7s
	1h 48m 4s

Provide feedback