Fix up `verify v17` #48

Job	Run time
Test - stable toolchain (minimal)	31s
Test - 1.63.0 toolchain (minimal)	1m 27s
Test - stable toolchain (recent)	49s
Test - 1.63.0 toolchain (recent)	1m 26s
Docs - stable toolchain (recent)	55s
Integration tests - stable toolchain (28_0)	1m 8s
Prepare	3s
Integration tests - stable toolchain (27_1)	41s
Integration tests - stable toolchain (27_0)	42s
Integration tests - stable toolchain (26_2)	41s
Integration tests - stable toolchain (26_1)	42s
Integration tests - stable toolchain (26_0)	41s
Integration tests - stable toolchain (25_2)	44s
Integration tests - stable toolchain (24_2)	46s
Integration tests - stable toolchain (23_2)	41s
Integration tests - stable toolchain (22_1)	40s
Integration tests - stable toolchain (0_21_2)	39s
Integration tests - stable toolchain (0_20_2)	41s
Integration tests - stable toolchain (0_19_1)	41s
Integration tests - stable toolchain (0_18_1)	1m 7s
Integration tests - stable toolchain (0_17_1)	1m 8s
Format - nightly toolchain	13s
Docs - nightly toolchain (recent)	55s
Test - nightly toolchain (minimal)	39s
Lint - nightly toolchain (recent)	39s
Test - nightly toolchain (recent)	40s
	19m 59s

Provide feedback