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

Job	Run time
no-std-lib	27s
test-workspace (macos-latest)	1m 5s
test-workspace (ubuntu-latest)	45s
test-workspace (windows-latest)	2m 28s
	4m 45s

Provide feedback