In #213 (review) @UNAA008 says:
q .limitation on not checking numbers of extensions and contractions.
Is this a dangerous omission?
Not very dangerous. The test could be altered to use manual allocation and try to correlate allocations and frees with extensions and contractions, as a form of white box testing.