add verify_ast to check for abstracts being used as value (closes #3059)