feat: add proof demo workflow

[yairfalse]

Summary

• add rauta proof incident-demo to print or execute the Kind incident demo workflow
• document conformance status, oracle run path, benchmark command, and proof-demo prerequisites
• keep proof behavior command-reproducible without adding out-of-scope scripts or CI files

Validation

• cargo fmt --all -- --check
• cargo test --workspace
• cargo clippy --workspace --all-targets -- -D warnings
• teko verify --claim conformance --claim oracle --claim benchmark --claim demo --json
• teko close --json