Fixed some problem left in the operations for tagref64 which are caused
by porting from microvm-p2, the legacy Python-based Micro VM
implementation.

Added documentation and test cases for tagref64-related operations.