According to a core developer, it seems like Ethereum 2.0 might have a set date, could this mean that the bull-run will resume by then?