Allow inline annotations in `const` functions

[abentkamp]

When using an inline annotation in a function that is marked as const, we get the error:

cannot call non-const function `hax_lib::assume` in constant functions