More test cases and assertions for abc::*vector