Added shrinking for chars and strings

and fixed one bug in the test loop.