Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits