Replace CircleHash64f with CircleHash64fx as default 64-bit hash

[fxamacker]

Provide more explicit API to allow continued use of CircleHash64f.
Use CircleHash64fx when default 64-bit hash API is used.

[x448]

@fxamacker I would like to try CircleHash64fx.