crucible-syntax: Allow exotic characters in fresh atom names
#2335
| Job | Run time |
|---|---|
| 7s | |
| 35m 13s | |
| 33m 43s | |
| 31m 14s | |
| 23m 6s | |
| 0s | |
| 20m 38s | |
| 19m 21s | |
| 2h 43m 22s |