MP4 recording is the only format available when the capture resolution is HD or above. If you want to record in the other formats, you need to change the resolution to 480p or below.
As for the lagging, it sounds like your computer is running out of resources. Turn off TrueTheatre, skin smoothener, or any other enhancements you may have enabled.
Dave