does the UNIX timestamp bug require a hard for and if so would that render satoshis coins provably unspendable?