Heavy Neutron Stars? A Status Report on Arecibo Timing of Four Pulsar-White Dwarf Systems