Added property tests re the new error handling functionality