the actual fix is on line 1083:
change : if ( $order_number_length && ctype_digit( $order_number_length ) ) {
to: if ( $order_number_length && ctype_digit( (string)$order_number_length ) ) {
Had to also disable woothemes updates for this plugin, otherwise it got replaced.