Jan 21, 11-12 PM (44)
Jan 21, 12-1 PM (46)
Jan 21, 1-2 PM (30)
Jan 21, 2-3 PM (28)
Jan 21, 3-4 PM (34)
Jan 21, 4-5 PM (32)
Jan 21, 5-6 PM (22)
Jan 21, 6-7 PM (16)
Jan 21, 7-8 PM (6)
Jan 21, 8-9 PM (14)
Jan 21, 9-10 PM (18)
Jan 21, 10-11 PM (14)
Jan 21, 11-12 AM (9)
Jan 22, 12-1 AM (11)
Jan 22, 1-2 AM (4)
Jan 22, 2-3 AM (12)
Jan 22, 3-4 AM (7)
Jan 22, 4-5 AM (2)
Jan 22, 5-6 AM (14)
Jan 22, 6-7 AM (6)
Jan 22, 7-8 AM (17)
Jan 22, 8-9 AM (11)
Jan 22, 9-10 AM (35)
Jan 22, 10-11 AM (30)
Jan 22, 11-12 PM (44)
Jan 22, 12-1 PM (52)
Jan 22, 1-2 PM (32)
Jan 22, 2-3 PM (67)
Jan 22, 3-4 PM (25)
Jan 22, 4-5 PM (29)
Jan 22, 5-6 PM (9)
Jan 22, 6-7 PM (5)
Jan 22, 7-8 PM (10)
Jan 22, 8-9 PM (12)
Jan 22, 9-10 PM (65)
Jan 22, 10-11 PM (1)
Jan 22, 11-12 AM (1)
Jan 23, 12-1 AM (6)
Jan 23, 1-2 AM (4)
Jan 23, 2-3 AM (4)
Jan 23, 3-4 AM (2)
Jan 23, 4-5 AM (1)
Jan 23, 5-6 AM (2)
Jan 23, 6-7 AM (0)
Jan 23, 7-8 AM (3)
Jan 23, 8-9 AM (2)
Jan 23, 9-10 AM (6)
Jan 23, 10-11 AM (2)
Jan 23, 11-12 PM (3)
Jan 23, 12-1 PM (7)
Jan 23, 1-2 PM (4)
Jan 23, 2-3 PM (3)
Jan 23, 3-4 PM (3)
Jan 23, 4-5 PM (1)
Jan 23, 5-6 PM (3)
Jan 23, 6-7 PM (3)
Jan 23, 7-8 PM (0)
Jan 23, 8-9 PM (3)
Jan 23, 9-10 PM (1)
Jan 23, 10-11 PM (4)
Jan 23, 11-12 AM (2)
Jan 24, 12-1 AM (4)
Jan 24, 1-2 AM (3)
Jan 24, 2-3 AM (2)
Jan 24, 3-4 AM (3)
Jan 24, 4-5 AM (0)
Jan 24, 5-6 AM (0)
Jan 24, 6-7 AM (0)
Jan 24, 7-8 AM (0)
Jan 24, 8-9 AM (1)
Jan 24, 9-10 AM (9)
Jan 24, 10-11 AM (2)
Jan 24, 11-12 PM (0)
Jan 24, 12-1 PM (0)
Jan 24, 1-2 PM (1)
Jan 24, 2-3 PM (0)
Jan 24, 3-4 PM (0)
Jan 24, 4-5 PM (0)
Jan 24, 5-6 PM (0)
Jan 24, 6-7 PM (7)
Jan 24, 7-8 PM (2)
Jan 24, 8-9 PM (0)
Jan 24, 9-10 PM (4)
Jan 24, 10-11 PM (3)
Jan 24, 11-12 AM (5)
Jan 25, 12-1 AM (8)
Jan 25, 1-2 AM (5)
Jan 25, 2-3 AM (0)
Jan 25, 3-4 AM (2)
Jan 25, 4-5 AM (7)
Jan 25, 5-6 AM (2)
Jan 25, 6-7 AM (12)
Jan 25, 7-8 AM (41)
Jan 25, 8-9 AM (20)
Jan 25, 9-10 AM (49)
Jan 25, 10-11 AM (44)
Jan 25, 11-12 PM (36)
Jan 25, 12-1 PM (36)
Jan 25, 1-2 PM (32)
Jan 25, 2-3 PM (66)
Jan 25, 3-4 PM (12)
Jan 25, 4-5 PM (18)
Jan 25, 5-6 PM (14)
Jan 25, 6-7 PM (10)
Jan 25, 7-8 PM (20)
Jan 25, 8-9 PM (6)
Jan 25, 9-10 PM (4)
Jan 25, 10-11 PM (5)
Jan 25, 11-12 AM (8)
Jan 26, 12-1 AM (5)
Jan 26, 1-2 AM (1)
Jan 26, 2-3 AM (5)
Jan 26, 3-4 AM (13)
Jan 26, 4-5 AM (3)
Jan 26, 5-6 AM (4)
Jan 26, 6-7 AM (14)
Jan 26, 7-8 AM (12)
Jan 26, 8-9 AM (33)
Jan 26, 9-10 AM (21)
Jan 26, 10-11 AM (39)
Jan 26, 11-12 PM (18)
Jan 26, 12-1 PM (50)
Jan 26, 1-2 PM (61)
Jan 26, 2-3 PM (42)
Jan 26, 3-4 PM (50)
Jan 26, 4-5 PM (28)
Jan 26, 5-6 PM (15)
Jan 26, 6-7 PM (10)
Jan 26, 7-8 PM (19)
Jan 26, 8-9 PM (11)
Jan 26, 9-10 PM (10)
Jan 26, 10-11 PM (7)
Jan 26, 11-12 AM (7)
Jan 27, 12-1 AM (9)
Jan 27, 1-2 AM (7)
Jan 27, 2-3 AM (11)
Jan 27, 3-4 AM (5)
Jan 27, 4-5 AM (6)
Jan 27, 5-6 AM (2)
Jan 27, 6-7 AM (17)
Jan 27, 7-8 AM (12)
Jan 27, 8-9 AM (26)
Jan 27, 9-10 AM (42)
Jan 27, 10-11 AM (22)
Jan 27, 11-12 PM (68)
Jan 27, 12-1 PM (104)
Jan 27, 1-2 PM (49)
Jan 27, 2-3 PM (74)
Jan 27, 3-4 PM (50)
Jan 27, 4-5 PM (20)
Jan 27, 5-6 PM (15)
Jan 27, 6-7 PM (44)
Jan 27, 7-8 PM (14)
Jan 27, 8-9 PM (34)
Jan 27, 9-10 PM (12)
Jan 27, 10-11 PM (28)
Jan 27, 11-12 AM (6)
Jan 28, 12-1 AM (11)
Jan 28, 1-2 AM (8)
Jan 28, 2-3 AM (5)
Jan 28, 3-4 AM (7)
Jan 28, 4-5 AM (14)
Jan 28, 5-6 AM (3)
Jan 28, 6-7 AM (16)
Jan 28, 7-8 AM (15)
Jan 28, 8-9 AM (78)
Jan 28, 9-10 AM (41)
Jan 28, 10-11 AM (40)
Jan 28, 11-12 PM (4)
2,774 commits this week Jan 21, 2021 - Jan 28, 2021
Merge #2471
2471: Fix flaky `validateGenerators` r=KtorZ a=KtorZ

# Issue Number

<!-- Put here a reference to the issue that this PR relates to and which requirements it tackles. Jira issues of the form ADP- will be auto-linked. -->

#2393 

# Overview

<!-- Detail in a few bullet points the work accomplished in this PR -->

- deb387a4f0389e035a3feebdbb5610361cc751c3
  :round_pushpin: **rework 'validateGenerators' for the db arbitrary instance to be more reliable**
    And also give more information on failure. This should reduce the flakyness and provide more metrics on failure.

- 977078cc5881770612dc217fed6e8d594df67771
  :round_pushpin: **rework shrinkers on PolicyId, AssetName and TxId to be more aggressive**
    There's really nothing simpler between 'TokenB' compared to 'TokenC', or between '1111111111111111111111111' compared to '22222222222222222222222'

  The goal of a shrinker is to provide smaller counter examples, if shrinking a value doesn't make it smaller, the shrinker is pointless. In this very case, the shrinkers are actually sucking of CPU time for nothing as noted by the 'validateGenerators' property sometimes failing to shrink large data structures in a reasonable time.

  However, allowing values to shrink down to one common denominator help to make a counter example more readable by reducing the amount of noise in an output. That is, it's easier if all values of a particular types are the same. Thus, this commit changes shrinkers to reach that common denominator much more aggressively (in one step).

# Comments

<!-- Additional comments or screenshots to attach if any -->

Occurred quite often lately, so I thought I'd give it a shot. 

<!--
Don't forget to:

 ✓ Self-review your changes to make sure nothing unexpected slipped through
 ✓ Assign yourself to the PR
 ✓ Assign one or several reviewer(s)
 ✓ Jira will detect and link to this PR once created, but you can also link this PR in the description of the corresponding ticket
 ✓ Acknowledge any changes required to the Wiki
 ✓ Finally, in the PR description delete any empty sections and all text commented in <!--, so that this text does not appear in merge commit messages.
-->


Co-authored-by: KtorZ <[email protected]>