Factor out read-back assertion to clean up test implementation

Also make it use slot_testv_and_readv_and_writev instead of slot_readv

The behavior should be the same and slot_readv is simpler and less
interesting.