Static check for noalloc: rename attribute

[gretay-js]

Rename [@noalloc] to [@noalloc_strict] in preparation for the [@noalloc_exn] attributed that is introduced in #863 and should probably have a better name.

[gretay-js]

I misunderstood, it should be [@noalloc strict] with a space, not an underscore. So we end up with [@noalloc strict assume] and/or [@noalloc assume strict] and finally [@noalloc assume] for the non-strict case.
Making the PR into a draft for now to fix it.

[Gbury]

Can we close this one since #1157 has been opened ?

[gretay-js]

superseded by #1157