Add marshal test for uint64