Support long C_x #1132

Job	Run time
check-style	18s
generate-fstar	2m 31s
test-lakers-python	50s
unit-tests-default	46s
unit-tests (lakers-crypto/psa, ead-none)	5m 28s
unit-tests (lakers-crypto/psa, ead-authz)	1m 7s
unit-tests (lakers-crypto/rustcrypto, ead-none)	40s
unit-tests (lakers-crypto/rustcrypto, ead-authz)	43s
build-example-for-cortex-m4 (crypto-psa)	1m 13s
build-lakers-c (crypto-rustcrypto)	1m 1s
build-example-for-cortex-m4 (crypto-cryptocell310)	1m 5s
build-coap-example	48s
build-lakers-c (crypto-psa-baremetal)	1m 14s
build-edhoc-package (lakers-crypto/psa)	1m 17s
build-lakers-c (crypto-cryptocell310)	1m 46s
build-edhoc-package (lakers-crypto/psa-baremetal)	1m 44s
build-lakers-c-example	1m 28s
build-edhoc-package (lakers-crypto/cryptocell310)	1m 8s
run-example-on-qemu (crypto-psa)	1m 58s
build-edhoc-package (lakers-crypto/rustcrypto)	1m 11s
release	0s
	28m 16s

Provide feedback