Proposed resolution:

In section [reverse.iter.cons] add the following paragraph:

reverse_iterator()

Default initializes current. Iterator operations applied to the resulting iterator have defined behavior if and only if the corresponding operations are defined on a default constructed iterator of type Iterator.