Document that absolutely no guarantees are made for anything involving non-Low* types

[protz]

This means that anything that relies on checked_int, Prims_nat, FStar_Bytes_bytes, or any of the other types that cannot be lowered to Low* is unsupported.

Any report about Prims_pow2, Prims_op_Minus, *_v, Prims_String_strlen, FStar_Bytes_print_bytes and krml_time should be ignored.

The issues described above show up when asking Claude (Opus 4.6)