Leopard: A General Test Suite for Isolation Level Verification Online Demo Bug List Interval-based Trace Format Guideline Technical Report