python: Make safer to use #1136

Job	Run time
generate-fstar	2m 22s
check-style	14s
test-lakers-python	52s
unit-tests (lakers-crypto/psa, ead-none)	56s
unit-tests-default	52s
unit-tests (lakers-crypto/psa, ead-authz)	56s
unit-tests (lakers-crypto/rustcrypto, ead-none)	39s
unit-tests (lakers-crypto/rustcrypto, ead-authz)	42s
build-lakers-c-example	1m 44s
build-lakers-c (crypto-rustcrypto)	2m 19s
build-lakers-c (crypto-psa-baremetal)	1m 46s
build-lakers-c (crypto-cryptocell310)	1m 37s
build-coap-example	49s
build-edhoc-package (lakers-crypto/psa)	1m 11s
build-example-for-cortex-m4 (crypto-psa)	1m 39s
run-example-on-qemu (crypto-psa)	2m 0s
build-edhoc-package (lakers-crypto/psa-baremetal)	1m 12s
build-example-for-cortex-m4 (crypto-cryptocell310)	4m 40s
build-edhoc-package (lakers-crypto/cryptocell310)	1m 3s
build-edhoc-package (lakers-crypto/rustcrypto)	1m 9s
release	0s
	28m 42s

Provide feedback