Remove unused functions and files for verifying

- Change test.c to only do verify
- Remove unused functions and files for verifying