Added a paragraph about shrinking and `eqc_gen:sampleshrink/1`