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

Job	Run time
no-std-lib	33s
test-workspace (macos-latest)	1m 22s
test-workspace (ubuntu-latest)	52s
test-workspace (windows-latest)	39s
	3m 26s

Provide feedback