Modelling and Search-Based Testing of Robot Controllers Using Enzymatic Numerical P Systems