Function invariant_failure_paths

fn invariant_failure_paths(
    config: &InvariantConfig,
    contract_name: &str,
    invariant_name: &str,
) -> (PathBuf, PathBuf)

Helper functions to return canonicalized invariant failure paths.