Function emit_rust_monitor 

pub fn emit_rust_monitor(prop: &SvaProperty) -> String

Emit a Rust runtime monitor scaffold for a property.

Generates a struct with a check() method stub. The generated check() always returns true — callers must fill in the signal-dependent logic for their specific use case. This is a code generation template, not a complete monitor implementation.