I've been using the very similar HVR37 series in applications like HV dividers and such even when they might be 'overkill' because I'm more comfortable with the specs,. In mains-sensing, this would make me more comfortable as well, especially the 10kV pulse withstand.. They also seem to have a low voltage coefficient. The differences between VR37 and HVR37 seem slight, the HVR37 description refers to a flame-resistant lacquer and they are a bit bigger. They both have the 700V insulation limit (never noticed that before) but hopefully your PCB design doesn't run traces under your HV resistors or anything like that. Where I use them I have thousands of volts so it becomes obvious you have to keep stuff away. Where mains are concerned, you should treat it as if it were thousands of volts--because it might be someday! So VR37 is probably a much better choice than something with a 300-500V rating.