Space-Efficient Algorithms and Verification Schemes for Graph Streams