The enthusiasm jolt from bitcoin's ascent toward $14K ran into realism, and options traders see low probabilities of a new price record this year.