Added skeleton for property testing of the RequestCracker.
More property testing.