Safety checker & SLH

[vbgl]

The safety checker is not ready to handle programs using SLH primitives, e.g.,

export
fn main() {
  reg u64 ms;
  stack u8[8] s;
  reg ptr u8[8] p;
  p = s;
  ms = #init_msf();
  p = #protect_ptr(p, ms);
}

https://github.com/jasmin-lang/jasmin/blob/504d05f25c561f117b3ee2a2b664f8b692130d6c/compiler/safetylib/safetyAbsExpr.ml#L1243