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

Job	Run time
no-std-lib	37s
test-workspace (macos-latest)	1s
test-workspace (ubuntu-latest)	47s
test-workspace (windows-latest)	3m 29s
	4m 54s

Provide feedback