The verification basis of the PM-ALPHA code