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

Job	Run time
no-std-lib	32s
test-workspace (macos-latest)	1m 7s
test-workspace (ubuntu-latest)	49s
test-workspace (windows-latest)	2m 44s
	5m 12s

Provide feedback