Testing and Debugging Techniques for Answer Set Solver Development