Support crate names that begin with digits #6103

Job	Run time
smoke-test-and-release-windows	7m 39s
smoke-test-and-release-linux	6m 17s
smoke-test-and-release-macos-x86	10m 23s
fmt	1m 5s
test-and-release-macos	10m 32s
test-and-release-macos (record-history)	2m 58s
test-and-release-macos (no-std)	3m 42s
test-and-release-macos (no-alloc)	2m 27s
test-and-release-macos (singular)	2m 53s
test-and-release-macos (cvc5)	2m 17s
release	10s
	50m 23s

Provide feedback