adding HAMT64 performance test