1. move all the full stvk model and full simulator into one file. 2. implemented a quasi-static simulator.