[Bug] Turn off default-features for proptest

[wraitii]

Component

primitives

What version of Alloy are you on?

1.4.1

Operating System

None

Describe the bug

The workspace provides proptest but does not de-activate the default features. alloy-primitives turns it on with feature std, which is relatively common (so often 'on' in large-ish workspaces).
This in turns pulls in rusty-fork, because of the (default, but I think un-necessary) "fork"/"timeout" features of proptest. This pulls in wait-timeout, which fails to compile on non-unix, non-windows systems.

This unfortunately now includes ZkVM guest environments, such as compiling a Risc0 or SP1 guest.

Unsure if just turning default-features off for proptest works, but it should fix the issue.

Edit: mh actually rusty-fork has the issue itself, but that should be fixed in the same way.

[DaniPopes]

fair enough, it used to not work with default off and "alloc" but that was fixed a long time ago. we should not need default features anyway