Some new features and a lot of refactoring
- Bug fixes
- Translatable constant-size slicing
- Throw deprecation errors for deprecated primitives
- Support connecting a constant struct to a signal
- Implement hypothesis strategy for bitstructs and improve bits strategy
- passes/ folder major refactoring
- Tick function refactoring. Add eval_combinational to top.