Processors for safer, faster software