Provide mechanism to verify a plan

The plan package will have a new method Verify() which will return true if the operator does not depend on an index or keyspace, or if it does, they are alive and kicking.