feat: decompose Instruction::Cast to have an explicit truncation instruction
#1915
| Job | Run time |
|---|---|
| 3m 33s | |
| 5m 11s | |
| 2m 12s | |
| 3m 27s | |
| 46s | |
| 54s | |
| 1m 10s | |
| 1m 11s | |
| 1m 39s | |
| 40s | |
| 1m 6s | |
| 8m 28s | |
| 1s | |
| 30m 18s |