Return `VerifyError` in a better way #139

Job	Run time
Clippy	24s
Clippy (Nightly)	49s
Run benchmarks	5m 26s
Build+test (stable, ubuntu-20.04)	16s
Measure coverage	1m 26s
Build+test (beta, ubuntu-20.04)	1m 28s
Check for documentation errors	47s
Features	46s
Build+test (nightly, ubuntu-20.04)	1m 31s
Build+test (macos-latest, stable)	1m 20s
Format	8s
Build+test (windows-latest, stable)	58s
	15m 19s

Provide feedback