The obstruction criterion for non-existence of invariant circles and renormalization