TEST: Create test cases for reading uint64 from a stream