chore: deploy contract addresses to README and fix tests workspace compilation & verification keys logic

task_auction: verify bidder fleet membership via real fleet_identity Merkle proof instead of a mismatched verifier-key lookup; add real BN254 proof test

task_auction: replace flawed verifier lookup with real fleet_identity Merkle membership check; add real BN254 proof tests

Add 4 world-first ZK features: ZK-Causal Liability, ZK-Emergent Safety, ZK-Shapley Rewards, ZK Strategy-Proof Auction