Add orchestration layer for verification

[DiuDiu777]

Core updates

• Added verify::driver as the orchestration layer for the staged verifier pipeline.

• Added VerifyDriver::verify_function as the main pipeline entry.

• Added verify::report for check results and verification summaries.

• Added verify::evidence with the initial backward-evidence data model.

I think we could orchestrate the structure like this:

verify/
----------- key components ------------
  driver.rs      // pipeline orchestration
  target.rs      // target/contracts collection
  assets_parser.rs
  attr_parser.rs  // tow parsers
  path.rs        // path extraction
  evidence.rs    // backward evidence reduction
  replay.rs      // forward abstract replay
  smt.rs         // SMT lowering and solver result
  report.rs      // diagnostics and summaries