MAVIS: Multi-Objective Alignment via Value-Guided Inference-Time Search