[Checkers] New name for romaybe

[Michael Ernst]

I'd like to reach resolution in our choice of a new name for romaybe.  I
definitely want this done before the camera-ready versions of the Checkers
and Javari papers (but not so quickly that we choose a poor name).

I think the top contenders right now are
  @Polyread
  @Readpoly

Thoughts on these?

                     Thanks,

                    -Mike