fix: allow $ref pointers to point to a null value
#350
| Job | Run time |
|---|---|
| 36s | |
| 1m 35s | |
| 28s | |
| 25s | |
| 1m 1s | |
| 36s | |
| 1m 33s | |
| 32s | |
| 1m 2s | |
| 1m 32s | |
| 43s | |
| 5s | |
| 0s | |
| 10m 8s |
$ref pointers to point to a null value
#350
| Job | Run time |
|---|---|
| 36s | |
| 1m 35s | |
| 28s | |
| 25s | |
| 1m 1s | |
| 36s | |
| 1m 33s | |
| 32s | |
| 1m 2s | |
| 1m 32s | |
| 43s | |
| 5s | |
| 0s | |
| 10m 8s |