Apparently the specific version of micro-meter (1.14.2) was problematic. Both downgrading or upgrading (1.14.5) solved the issue.
Indeed no manual registration (meaning using AspectJ explicitly is no more was required.
Once I got off the offending micro-meter version, both @Timed and @Counted worked fine out of the box.