[dlr] Fix UInt64 add/div
[dlr] Implement few missing interpreter instructions
New tests