Add random Int values for correctness testing
add drop messages test
add Set for at most once delivery
make Skip message ID unique