adding Alexander Verbitsky to THANKS file