hs: Add solve and verify PoW functions