Fix verification of `eval` cell

Thanks, @ptrv, for bringing this to my attention.
Add test cases for declaration verification