Verifying should work for simple cases now.
Update docs.