Remove ArraySpec redefined cast method, add runPrecheck and runPostcheck methods