Honest Approximations to Realistic Fault Models and Their Applications to Efficient Simulation of Quantum Error Correction