Arithmetic algebraization theorems and the conjecture of Schinzel-Zassenhaus