define saner behaviour for Ringbuffer read and resize
add a model-based test for RingBuffer API