Extend static and dynamic checking to handle relative alignment

[secure-sw-dev-bot]

This issue was copied from checkedc/checkedc-clang#330

---

We need to extend static checking of bounds and dynamic runtime checks to handle relative alignment. This feature includes covers work items #326, #327, #328. and #329. We also need to write tests of this.