Arbitrary labels for extended keys (u32, H256 built-in) (#4438)

* extend derivatino to arbitrary labels

* fix review

* fix more obsolete comments

* hard test for h256

* fix using only 4 bytes from hash