Move tick repr tests to QCheck 2

Upgrade the test_sc_rollup_tick_repr.ml tests introduced in !4343 (merged) to QCheck2.