- Simplify import structure
- Add proper checks for invalids torage slots
- Add unit testing
- Remove need to run the TypeScript witness-generation steps