Improve symbolic coverage of the standard library types

[pschanely]

This is a tracking issue that we will likely never mark resolved.

Much of the data types in the Python standard library is implemented in C; such implementations cannot use symbolic inputs. In these cases, symbolic values have to materialize into concrete values, exploding the search tree and generally turning CrossHair into a naive, very slow fuzz tester.