Add a simple alignment check in senryx

[DiuDiu777]

This pr:

1. Add the basic align check module, which tracks the abstract state based on the rvalue of the pointer type and checks for the presence of small to big casts
2. Use CVE's classic align issue as a test case, now you can:
   cd tests/senryx_tests/slice_from_raw_parts/
   Then run cargo rap -senryx to get an initial version of the output.

Other unsafe apis and program status are tracked and developed based on this demo in the future.