1. fixed the bugs for the full stvk model test cases. 2. fixed the bugs of the stvk simulator. 3. removed the reduced simulation example.