radius is part of CircleMarker style so should be changeable in using setStyle();

This fixes #1012