Comment by @joera • Hey

also as someone who rarely writes smcs it would be really reassuring to have checks on security at compile time!