`hax-lib`: introduce a `Prop` abstraction #3896

Job	Run time
no-std-lib	29s
test-workspace (macos-latest)	1m 3s
test-workspace (ubuntu-latest)	1m 11s
test-workspace (windows-latest)	4m 16s
	6m 59s

Provide feedback