no-panic 0.1.0

Attribute macro to require that the compiler prove a function can't ever panic.