Fix build with DEBUG_LOCKORDER

Fixes #4771
qt/splashscreen: #include version.h

Needed to build breakage reported by Arnavion on IRC:
qt/splashscreen.cpp: In constructor 'SplashScreen::SplashScreen(const QPixmap&, Qt::WindowFlags, bool)':
qt/splashscreen.cpp:33:98: error: 'FormatFullVersion' was not declared in this scope
CheckProof method for CBlockHeader and CBlockIndex
Create Proof class
hide Proof::GetNextChallenge()
CheckMinWork(uint, uint, int64) -> Proof::CheckMinChallenge(Proof&)