Polynomial reachability witnesses via Stellensätze