Hard-code larger token count

We don't need to mess with the Python stack limit.  The proof is validated in
Rust.  We just need to offer more stack space to the Rust implementation.

Set up Windows CI

Get rid of the -vvv and give the steps better names

They have no metadata.  They lose information about extras.  They break installation.

So it doesn't squash a failure result from the test suite

no way this works ...

Make the default profile disable too_slow and the deadline

That is, dumping any extra information from Hypothesis clutters up the test
runner output too much to leave this on in general. :(

No good trying to log 512000 tokens