Geofield proximity filter with required input

Hello,

When you set a geofield proximity filter as required in a view, you can still filter your view with an empty input (no empty message appears and the form validate).

To reproduct

• Install geofield, views, geocoder etc... all the things you need to geocode some addresses and create a view to filter on them
• Create your view and add a proximity exposed filter, set option as geocoded location, mark it as required
• Go in your view and validate the exposed filters form without putting any addresses in the field. Your view will validate and return the empty text

This is a bug, with required input, the form should not validate and display that the proximity field is required.