Hrmm. I wouldn't recommend changing core files.
:p I feel like being awful today. Here's a PHP solution (turn template on PHP output):
<?php
echo preg_replace("/height\=\\"(\d*)\\" width=\"(\d*)\\"/", 'style="height:$1px; width:$2px;"', '{wyvern_image_field}');
?>
This regex will turn
<img src="blat.gif" height="200" width="200">
to
<img src="blat.gif" style="height:200px; width:200px;">
bunch of edits that was some quote nightmare to get right, lol. AND OH, woops, you wanted it to go the other way. Hold on, regex coming up in a few minutes!
Here ya go, buddy!
<?php
echo preg_replace("/style=\\"height:(\d*)px; width:(\d*)px;\\"/", 'height="$1" width="$2"', '{wyvern_image_field}');
?>
This will take this
<img src="blat.gif" style="height:200px; width:200px;">
and produce this!
<img src="blat.gif" height="200" width="200">