fixed conditions when to insert an Assert op; improved the way a variable is added temporarily to the fgraph so that shape_feature can use it; removed bitwise optimizations since they have been started in another PR already