Learning and Verifying Graphs Using Queries with a Focus on Edge Counting