add unthunk in rrules of eig! eigh! leftorth! rightorth!
#429
| Job | Run time |
|---|---|
| 1h 29m 29s | |
| 40m 31s | |
| 1h 35m 6s | |
| 1h 12m 28s | |
| 34m 13s | |
| 1h 21m 42s | |
| 1h 27m 22s | |
| 35m 32s | |
| 1h 37m 59s | |
| 10h 34m 22s |