Former Bitcoin developer points out missing detail undermining HBO's claim that Peter Todd is Satoshi