Zaslat SMS: Lensing simulation and power spectrum estimation for high-resolution CMB polarization maps