Did Manticore lead to a focus on ease of use? Not sure I've seen angr described as user friendly before.