verifier split into its own goroutine with an input channel. closes #14