Add version tag recognition for update statements; Solve bug caused by not checking if tuple is visible in Tablescan operator

Change return type of semantical analysis to operator instead of result; Add update operator which can be used as a node in the query tree; Fix bug with pushing up tids