> Access violation is not guaranteed. Can we find a more reliable way to unit test for this bug?

None that I know of.

> I'm also concerned about the run time/memory to do this test.

I *could* just add "capacity elements + 1" and make sure it relocates? Seems good enough of a test.