Proptest 0.9 & im-rc 13

Package proptest 0.9

im-rc depends on proptest so we'll need to update that first. I've updated im-rc to 13, which fixes the dependency issue.

Unfortunately cargo still depends on 12. So we'll have to keep that around for a while.