Merge "refactor(lib): restore COMPILER_ASSERT for CBMC" into integration