Add bv{Zero,One} helpers, hlint config
#965
| Job | Run time |
|---|---|
| 46s | |
| 11m 39s | |
| 11m 40s | |
| 12m 27s | |
| 12m 20s | |
| 12m 16s | |
| 11m 56s | |
| 11m 40s | |
| 21m 41s | |
| 23m 8s | |
| 23m 42s | |
| 19m 59s | |
| 14m 51s | |
| 13m 42s | |
| 3h 21m 47s |