Revert "Disable test target that requires F* master"
Revert "Disable test target that requires F* master"

This reverts commit 256cbb8400886eb7d1006fa23c081d026839b37d.

FStarLang/kremlin,FStarLang/kremlin,FStarLang/kremlin,FStarLang/kremlin