fn invariant_failure_dir(persist_dir: PathBuf, contract_name: &str) -> PathBuf
Returns the contract-level invariant failure directory.