abbreviate 'agerr' calls
agerrorf
and agwarningf
are wrappers for agerr
with AGERR
and AGWARN
, respectively. But these were not being used pervasively, with many locations using the more verbose spelling. This MR standardizes on using these wrappers when possible.