Add runtime asserts and tests for vtable size/align#197

danielsn merged 9 commits into

model-checking:main-152-2021-06-07model-checking/kani:main-152-2021-06-07from

avanhatt:size-testsavanhatt/rmc:size-testsCopy head branch name to clipboard