Wilkinson shift with deflating works most of the time: non-proper Hessenburg matrices break the code and we sometimes get stuck