Write a lua script to throw real faults, assert important properties via Deterministic Simulation Testing.