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

Job	Run time
no-std-lib	12s
test-workspace (macos-latest)	11s
test-workspace (ubuntu-latest)	13s
test-workspace (windows-latest)	9s
	45s

Provide feedback